add_application(KVRED_test KVRED_test.c LABELS "klessydra_tests")

